Issue warning if doxygen is not installed.

Signed-off-by: Ewan Mellor<ewan@xensource.com>

diff --git a/docs/Makefile b/docs/Makefile
index 188d69240ab4ba5b07c272bf95b2b8c0b63b1c0d..12e35219e460982cc926ef67671f7426e9435f6c 100644 (file)
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -36,11 +36,12 @@ html:
        $(MAKE) $(DOC_HTML); fi
 
 python-dev-docs:
-       mkdir -p api/tools/python
+       @mkdir -v -p api/tools/python
        @if which $(DOXYGEN) 1>/dev/null 2>/dev/null; then         \
         echo "Running doxygen to generate Python tools APIs ... "; \
        $(DOXYGEN) Doxyfile;                                       \
-       $(MAKE) -C api/tools/python/latex ; fi
+       $(MAKE) -C api/tools/python/latex ; else                   \
+        echo "Doxygen not installed; skipping python-dev-docs."; fi
 
 clean:
        rm -rf .word_count *.aux *.dvi *.bbl *.blg *.glo *.idx *~